English static program analysis: перевод на другие языки